Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
121	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 09:07:59 Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol
122	The Threat of Algocracy: Reality, Resistance and Accommodation By John Danaher Forthcoming in Philosophy and Technology Abstract Add to Reading List Source URL: philpapers.org Language: English Cognitive science Academia Cybernetics Science and technology Formal sciences Algorithm Mathematical logic Theoretical computer science Big data Machine learning Legitimacy Artificial intelligence
123	Reaction Time as a Measure of Implicit Grammaticality Judgment Misha Becker UNC Chapel Hill October 1, 2014 Add to Reading List Source URL: www.unc.edu Language: English - Date: 2014-10-22 16:05:59 Linguistics Cognitive science Grammar Generative linguistics Cognition Parts of speech Grammaticality Philosophy of logic Language acquisition Predicate Bootstrapping Language
124	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-09 08:18:16 Theoretical computer science Models of computation Logic gates Digital electronics Quantum information science Reversible computing Thermodynamics Toffoli gate Fredkin gate Adder Quantum computing Quantum circuit
125	Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2016-04-30 19:02:32 Artificial neural networks Computational neuroscience Academia Deep learning Long short-term memory Mathematical logic Science and technology Applied mathematics Algorithm Motion Artificial intelligence
126	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture
127	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
128	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics

UPDATE